📐 Interval Arithmetic - matmat · Scour

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·14h

🔧Hardware Verification

Refining Almost-Safe Value Functions on the Fly

arxiv.org·1d

🔒Type Safety

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·11h

🕸️Graph Algorithms

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·5h

🔧Hardware Verification

Fenwick layout for interval trees

purplesyringa.moe·1d·

Discuss: r/coding

📐Interval Trees

The 185-Microsecond Type Hint

blog.sturdystatistics.com·9h·

Discuss: Lobsters, Hacker News, r/programming

💧Liquid Types

Differential Logic • 15

inquiryintoinquiry.com·13h

⚔️Lean Theorem

The Math Behind the Match: Building Production Search for People Names

hackernoon.com·11h

🌳Trie Structures

Approximation Game

lcamtuf.substack.com·3d·

Discuss: Substack

📐Error Bounds

informatics.ed.ac.uk·19h

📐Linear Algebra

Determining Factorial Speed Fast

arxiv.org·1d

🌊Streaming Algorithms

An Engineering and a Mathematical approach to a Problem

pballew.blogspot.com·1d·

Discuss: Blogger

⚙️Tape Engineering

Fast nonbinary arithmetic

fredrikj.net·5d

🔢Bitwise Algorithms

Math Game Monday: Factors and Multiples

denisegaskins.com·17h

🔲Cellular Automata

nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine

github.com·1d·

Discuss: Hacker News

📊APL Heritage

Verilog Testbench Essentials

hackster.io·1d

🔍FPGA Verification

Solve for the angle. Use brain instead of pen

mindyourdecisions.com·2d

📐Projective Geometry

The troubles with Boolean inversion in Python

lwn.net

·3d

🔲Proof Irrelevance

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

AI and Humans Verify Fields Medal Proof for the First Time

spectrum.ieee.org·13h·

Discuss: Hacker News, r/technews

🎯Performance Proofs

Loading more...